{
  read (x);
  read (y);
  x := y+1;
  x := x+1;
  x := x+1;
  write (x+y)
}